Glueminisat 2.2.10 & 2.2.10-5

GLUEMINISAT 2.2.10 is a SAT solver based on MINISAT 2.2 and the LBD evaluation criteria of learned clauses. A new feature of 2.2.10 is an adaptive restart strategy based on literal block size. The default restart strategy is same as GLUCOSE, that is, the solver restarts when the average of LBDs for recent learned clauses becomes worse. When the average size of literal block is small, the solver uses other strategies: the conflict generation speed based restart strategy for slow restart instances, and Luby restart strategy for fast restart instances.